AN OVERVIEW OF LARCH / C + + : BEHAVIORAL SPECIFICATIONSFOR C + + MODULESGary
نویسنده
چکیده
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speciication languages. An innovation in Larch/C++ is the use of examples in function speciications.
منابع مشابه
An Overview of Larch / C + + : Behavioral Specificationsfor C + +
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci-cation languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملAn Overview of Larch / C + + : Behavioral Specificationsfor
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci-cation languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملAn Overview of Larch/C++: Behavioral Speci cations for C++ Modules
An overview is presented of the behavioral interface speci cation language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented specication languages. An innovation in Larch/C++ is the use of examples in function speci cations.
متن کاملAn Overview of Larch/C++: Behavioral Specifications for C++ Modules
An overview is presented of the behavioral interface speci cation language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci cation languages. An innovation in Larch/C++ is the use of examples in function speci cations.
متن کاملA Quick Overview of Larch/C++
This paper gives a quick overview of Larch/C++, an interface speci cation language for C++. Through examples, we explain declarations, function speci cations, class speci cations, and template speci cations. An extended example is given in the last section. The reader is assumed to have some familiarity with C++. The reader should have some familiarity with the idea of formal speci cation, but ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996